\begin{tabbing}
(\=(((RWO "adjacent{-}cons" ({-}3)) \+
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$) 
\\[0ex]CollapseTHEN (D ({-}3)$\cdot$))$\cdot$
\-
\end{tabbing}